$\forall$$T$:Type. AtomFree(Type;$T$) $\Rightarrow$ AtomFree(Type;$T$ List)